-
1 monadic logic
Большой англо-русский и русско-английский словарь > monadic logic
-
2 monadic logic
Математика: монадическая логика -
3 monadic logic
мат. -
4 monadic
компьют. одноместный monadic [monic] homomorphism ≈ инъективный гомоморфизм, мономорфизм monadic predicate calculus ≈ исчисление одноместных предикатов - monadic algebra - monadic continuity - monadic game - monadic ideal - monadic logic - monadic operation - monadic operator - monadic predicate Одноместно -
5 logic
-
6 монадическая логика
Большой англо-русский и русско-английский словарь > монадическая логика
-
7 operation
ˌɔpəˈreɪʃən сущ.
1) а) деятельность, работа, приведение в действие б) действие, операция to conduct an operation ≈ вести какую-л. работу to launch an operation ≈ запускать действие The operation of the pump is very simple. ≈ Принцип действия насоса очень прост. in operation ≈ в действии in full operation ≈ на полном ходу cloak-and-dagger operation, covert operation, secret operation ≈ секретная операция guerrilla operations ≈ партизанские действия joint operations ≈ объединенные действия, усилия large-scale operations ≈ широкомасштабные действия mine-sweeping operations ≈ действия по тралению мин mopping-up operations ≈ операция по очистке захваченной территории от противника rescue operation ≈ спасательная операция Syn: action, activity, agency
2) процесс the operations of the mind ≈ ментальные процессы;
процессы, происходящие в головном мозге Syn: act
3) воздействие, действенность, эффективность He cannot enlarge, in his own favour, the legal or equitable operation of the instrument. ≈ Он не может расширить в свою пользу юридическую или объективную действенность механизма. Syn: efficacy, influence
1., virtue, force
1.
4) применение на практике какого-либо алгоритма, процедуры;
введение в действие каких-либо механизмов а) фин. финансовая операция (часто ≈ с большой степенью риска) ;
осуществление финансовой операции б) проведение опыта, эксперимента
5) мед. операция (хирургическая) to perform an operation ≈ проводить, делать операцию to have, undergo an operation ≈ подвергнуться операции exploratory operation ≈ медицинское исследование major operation ≈ серьезная операция minor operation ≈ легкая операция recurrent operation ≈ повторная операция transplant operation ≈ операция по пересадке органов или тканей an operation for ≈- операция по an operation for the removal of gallstones ≈ операция по удалению камней в желчном пузыре The operation was effective. ≈ Операция прошла успешно. The operation was of no effect. ≈ Операция не принесла успеха
6) воен. боевые действия, военные операции
7) мат. действие
8) разработка, эксплуатация operation costs ≈ расходы по эксплуатации
9) управление( механизмом, устройством, предприятием и т. п.) For some time electricity has been used for the operation of the machine. ≈ В течение некоторого времени пользовались электричеством для управления станком. действие, работа;
функционирование;
- the * of binding a book переплетные работы;
- to begin *s начать работу;
- to be in * быть в эксплуатации;
действовать, функционировать, работать;
- to be no longer in * больше не эксплуатироваться, быть снятым с эксплуатации;
- the plant has been in * for several weeks завод работает уже несколько недель;
- are the street cars in *? трамваи ходят? (юридическое) вступать в силу;
- when does that rule go into *? когда это правило вступит в силу?;
- to bring into * вводить в строй;
пускать в эксплуатацию;
- to extend *s продлевать срок службы (машины) ;
- the * of this machine is simple этой машиной легко управлять процесс;
- * of breathing процесс дыхания действие, воздействие;
- the * of alcohol on the mind воздействие алкоголя на умственную деятельность торговая или финансовая операция;
сделка;
- *s on the stock exchange биржевые операции;
- engaged in some mysterious *s занятый какими-то тайноответственными махинациями (медицина) хирургическая операция;
- abdominal * полостная операция;
- chest * операция грудной полости;
- stomach * операция на желудке;
- tonsils * удаление миндалин;
- major * тяжелая операция;
- to perform an * for smth. делать операцию. по поводу чего-л;
- to undergo an * переносить операцию обыкн. pl работы, операции;
- reconstruction *s began at once работы по реконструкции начались сразу же( военное) операция, боевые действия;
бой;
сражение;
- *s map карта обстановки, оперативная схема;
- * order боевой приказ;
- *s officer (американизм) офицер оперативного отдела штаба;
штабной оператор;
- *s room (авиация) командный пункт;
пункт управления;
(морское) оперативная рубка;
- line of *s операционное направление, направление наступления разработка, эксплуатация ( техническое) операция, цикл обработки (математика) действие, операция arithmetic ~ вчт. арифметическая операция arithmetic ~ вчт. арифметическое действие arithmetic ~s вчт. арифметические действия array ~ вчт. матричная операция associative ~ вчт. ассоциативная операция asynchronous ~ вчт. асинхронная работа asynchronous ~ вчт. асинхронное выполнение операций atomic ~ вчт. атомарная операция authorized ~ вчт. санкционированная операция battery ~ работа с батарейным питанием bear ~ бирж. игра на понижение binary ~ вчт. бинарная операция bitwise ~ вчт. поразрядная операция black-ink ~ грязная сделка block ~ вчт. действие с блоками bookkeeping ~ вчт. служебная операция boolean ~ вчт. логическая операция borrowing ~ операция по заимствованию brokerage ~ брокерская операция bull ~ бирж. сделка на повышение биржевых курсов bull ~ бирж. спекуляция на повышение to call into ~ привести в действие;
in operation в действии;
in full operation на полном ходу capital ~ сделка с капиталом charges relating to the issue ~ затраты, связанные с выпуском ценных бумаг clerical ~ конторская операция collective ~ совместная операция ~ действие, операция;
работа;
приведение в действие;
to come into operation начать действовать come into ~ вступать в силу come into ~ вступать в строй come into ~ начинать действовать coming into ~ вступление в силу coming into ~ вступление в строй coming into ~ приведение в действие connection-oriented ~ вчт. связь с логическим соединением connectionless ~ вчт. связь без логического соединения continued ~ непрерывная работа continuous ~ непрерывная эксплуатация continuous ~ работа в непрерывном режиме covering ~ бирж. операция покрытия cross-frontier ~ внешнеторговая сделка debit-credit ~ операция учета прихода и расхода discontinue an ~ прекращать работу down ~ вчт. занятие dyadic ~ вчт. бинарная операция enter into ~ вступать в действие enter into ~ вступать в силу factory ~ оперативное управление производством fade ~ вчт. операция постепенного стирания fail-safe ~ вчт. безопасный режим going into ~ ввод в действие going into ~ ввод в эксплуатацию graft ~ вчт. операция подсоединения ветви group ~ вчт. групповая операция housekeeping ~ вспомогательная операция housekeeping ~ вчт. организующая операция housekeeping ~ вчт. служебная операция housekeeping ~ управляющая операция illegal ~ вчт. запрещенная операция image ~ вчт. операция обработки изображения immediate ~ вчт. операция с немедленным ответом to call into ~ привести в действие;
in operation в действии;
in full operation на полном ходу to call into ~ привести в действие;
in operation в действии;
in full operation на полном ходу inference ~ вчт. операция логического вывода initial ~ ввод в действие input ~ вчт. операция ввода input-output ~s вчт. операции ввода-вывода joint ~ совместная работа joint ~ agreement договор о совместной деятельности kernel ~ вчт. операция ядра keystroke ~ вчт. операция инициируемая нажатием клавиши large-scale ~ крупномасштабная операция linear ~ вчт. линейная операция linear ~s вчт. линейные операции logic ~ вчт. логическая операция loss during ~ потери при эксплуатации manual ~ ручная операция manual ~ ручная работа maximization ~ операция максимизации maximization ~ операция определения максимума maximum ~ операция максимизации military ~ военная операция minimization ~ операция минимизации mismatch ~ вчт. операция обнаружения рассогласования monadic ~ вчт. унарная операция multiple ~s вчт. совмещенные операции multitask ~ вчт. многозадачный режим neighborhood ~ операция определения соседства no ~ вчт. холостая операция nonarithmetical ~ вчт. неарифметическая операция nondata ~ вчт. операция не связанная с обработкой данных normal ~ нормальная эксплуатация off-line ~ вчт. автономная работа on-line ~ вчт. работа в реальном времени one-shot ~ вчт. пошаговая работа one-step ~ вчт. пошаговая работа operation ведение хозяйственной деятельности ~ мат. действие ~ действие, операция;
работа;
приведение в действие;
to come into operation начать действовать ~ действие ~ вчт. операция ~ операция (хирургическая) ~ проведение опыта, эксперимента ~ процесс ~ работа ~ разработка, эксплуатация ~ технологическая операция ~ торговая операция ~ торговля ~ управление (предприятием и т. п.) ~ управление машиной ~ управление производством ~ установка ~ учетно-счетная операция ~ финансовая операция ~ функционирование ~ цикл обработки ~ эксплуатация ~ юридическая сила ~ юридические последствия ~ юридическое действие ~ attr. эксплуатационный;
operation costs расходы по эксплуатации ~ attr. эксплуатационный;
operation costs расходы по эксплуатации ~ of company деятельность компании ~ of railway работа железной дороги OR ~ вчт. операция ИЛИ output ~ вчт. операция вывода overhead ~ вчт. служебная операция parallel ~ параллельная сделка paste ~ вчт. операция вставки pipeline ~ вчт. работа в конвейерном режиме pixel-level ~ вчт. операция обработки элементов изображения primary ~ первичная обработка primary ~ первичная операция primitive ~ вчт. базовая операция prune ~ вчт. операция отсечения queue ~ вчт. работа с очередями queueing ~ вчт. образование очереди queueing ~ работа системы массового обслуживания real-time ~ вчт. вычисление в реальном времени real-time ~ вчт. работа в реальном масштабе времени red ink ~ убыточная операция red ink ~ убыточная сделка red-tape ~ вчт. служебная операция refinement ~ вчт. уточнение данных refunding ~ операция рефинансирования refunding ~ рефинансирование retrieval ~ вчт. информационно-поисковая операция risk capital ~ операция с рисковым капиталом round-the-clock ~ круглосуточная работа round-the-clock ~ непрерывное производство sales-floor ~ работа торгового зала магазина scheduled ~ вчт. регламентная работа secondary ~ добыча нефти вторичными методами semiduplex ~ вчт. полудуплексный режим работы service ~ вчт. операция обслуживания simultaneous ~ параллельная работа single-mode ~ вчт. одномодовый режим single-program ~ вчт. однопрограммная работа single-store ~ торговые операции фирмы в одном магазине single-task ~ вчт. работа с одной заадчей small-signal ~ вчт. режим малых сигналов smoothing ~ вчт. операция сглаживания start-stop ~ вчт. стартстопный режим syndicate ~ синдицированная операция takedown ~ вчт. операция подготовки к следующей работе team ~ вчт. групповая разработка time consuming ~ вчт. длинная операция two-shift ~ двухсменная работа unary ~ вчт. унарная операция unattended ~ работа без надзора unauthorized ~ несанкционированное действие under-control ~ подконтрольная эксплуатация union ~ вчт. операция ИЛИ unit ~ вчт. единичное преобразование unloading ~ вчт. операция вывода unloading ~ вчт. операция разгрузки unnecessary ~ вчт. неправильное действие реле up ~ вчт. операция освобождения venture ~ финансовая операция, связанная с риском write ~ вчт. операция записиБольшой англо-русский и русско-английский словарь > operation
-
8 operator
= op1) оператора) операция; знак или символ операцииб) задающее функционально законченное действие предложение языка программированияв) специалист, осуществляющий оперативное управление и контроль за работой прибора, устройства или системы (например, компьютера)г) участок ДНК, регулирующий транскрипцию2) специалист, обеспечивающий установление соединений или передачу сообщений ( в системах связи); телефонист; телеграфист; радиооператор, радист; связист3) управляющий; технический директор•- adjoint operator
- aggregate operator
- annihilation operator
- antisymmetry operator
- arithmetic operator
- assertion operator
- assignment operator
- audio operator
- averaging operator
- binary operator
- bitwise operator
- Boolean operator
- Bose operator
- channel operator
- comparison operator
- complementary operator
- computer operator
- console operator
- creation operator
- data entry operator
- delete operator
- direction-finder operator
- duty operator
- embedding operator
- energy operator
- exchange operator
- Fermi operator
- gradient operator
- Hadamard matrix operator
- Hamilton operator
- Hermitian operator
- infix operator
- integral operator
- lag operator
- Laplace operator
- linear operator
- logic operator
- machine operator
- miniphase operator
- modal operator
- monadic operator
- peripheral equipment operator
- pipe operator
- postfix operator
- prediction operator
- prefix operator
- quasi-particle operator
- radar operator
- radio operator
- random variation operator
- relational operator
- resolvent operator
- self-adjoint operator
- single-parent operator
- sonar operator
- space symmetry operator
- space-time symmetry operator
- spin operator
- spurless operator
- symmetry operator
- template matching operator
- tensor operator
- traceless operator
- transfer operator
- transformation operator
- translation operator
- truncation operator
- two-parent operator
- unary operator
- unitary operator
- unity operator
- variance operator
- vector operator
- wireless operator
- word processing operator -
9 predicate
1) вчт предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами 2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- predicate with free variable
- algebraic predicate
- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicate -
10 operator
1) оператора) операция; знак или символ операцииб) задающее функционально законченное действие предложение языка программированияв) специалист, осуществляющий оперативное управление и контроль за работой прибора, устройства или системы (например, компьютера)г) участок ДНК, регулирующий транскрипцию2) специалист, обеспечивающий установление соединений или передачу сообщений ( в системах связи); телефонист; телеграфист; радиооператор, радист; связист3) управляющий; технический директор•- adjoint operator
- aggregate operator
- annihilation operator
- antisymmetry operator
- arithmetic operator
- assertion operator
- assignment operator
- audio operator
- averaging operator
- binary operator
- bitwise operator
- Boolean operator
- Bose operator
- channel operator
- comparison operator
- complementary operator
- computer operator
- console operator
- creation operator
- data entry operator
- delete operator
- direction-finder operator
- duty operator
- embedding operator
- energy operator
- exchange operator
- Fermi operator
- gradient operator
- Hadamard matrix operator
- Hamilton operator
- Hermitian operator
- infix operator
- integral operator
- lag operator
- Laplace operator
- linear operator
- logic operator
- machine operator
- miniphase operator
- modal operator
- monadic operator
- peripheral equipment operator
- pipe operator
- postfix operator
- prediction operator
- prefix operator
- quasi-particle operator
- radar operator
- radio operator
- random variation operator
- relational operator
- resolvent operator
- self-adjoint operator
- single-parent operator
- sonar operator
- space symmetry operator
- space-time symmetry operator
- spin operator
- spurless operator
- symmetry operator
- template matching operator
- tensor operator
- traceless operator
- transfer operator
- transformation operator
- translation operator
- truncation operator
- two-parent operator
- unary operator
- unitary operator
- unity operator
- variance operator
- vector operator
- wireless operator
- word processing operatorThe New English-Russian Dictionary of Radio-electronics > operator
-
11 predicate
1) вчт. предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- predicate of predicates
- predicate with free variable
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicateThe New English-Russian Dictionary of Radio-electronics > predicate
-
12 instruction
2) инструкция; программа действий3) обучение•- accumulator shift instruction
- actual instruction
- address modification instruction
- addressless instruction
- alphanumeric instruction
- alphameric instruction
- arithmetical instruction
- arithmetic instruction
- assignment instruction
- autocode instruction
- autoindexed instruction
- basic instruction
- bit-manipulation instruction
- blank instruction
- block-move instruction
- branching instruction
- branch instruction
- branching-programmed instruction
- branch-on-zero instruction
- breakpoint instruction
- broadcast instruction
- byte instruction
- call instruction
- card read instruction
- character-oriented instruction
- clear and add instruction
- clear store instruction
- clearing instruction
- compare instruction
- comparison instruction
- complete instruction
- compound instruction
- computer instruction
- computer-aided instruction
- computer-assisted instruction
- conditional assembly instruction
- conditional branch instruction
- conditional breakpoint instruction
- conditional instruction
- conditional jump instruction
- conditional stop instruction
- conditional transfer instruction
- conflicting instructions
- constant instruction
- consumer instruction
- control instruction
- control transfer instruction
- convert instruction
- current instruction
- data movement instruction
- data transfer instruction
- decimal instruction
- decision instruction
- declarative instruction
- decoded instruction
- diagnose instruction
- direct access instruction
- direct instruction
- discarded instruction
- discrimination instruction
- display instruction
- do-nothing instruction
- double-precision instruction
- dual-issued instructions
- dummy instruction
- edit instruction
- effective instruction
- engineering instruction
- entry instruction
- exchange instruction
- executive instruction
- external devices instruction
- extracode instruction
- extract instruction
- floating-point instruction
- follow the instructions carefully
- format instruction
- four-address instruction
- full-word instruction
- general instruction
- half-word instruction
- halt instruction
- housekeeping instruction
- idle instruction
- ignore instruction
- illegal instruction
- immediate address instruction
- immediate instruction
- imperative instruction
- indirect instruction
- input/output instruction
- inquiry input/output instruction
- integer instruction
- internal manipulation instruction
- interpretive instruction
- interrupt instruction
- interruptable instruction
- invitation instruction
- invite instruction
- iterative instruction
- jump instruction
- jump to subroutine instruction
- keyboard instruction
- linear programmed instruction
- link instruction
- linkage macro instruction
- load index register instruction
- load repeat counter instruction
- logical instruction
- logic instruction
- look-up instruction
- machine code instruction
- machine instruction
- machine language instruction
- macro instruction
- macroexpansion instruction
- macroprocessing instruction
- maintenance instruction
- math instruction
- memory load instruction
- memory protect privileged instruction
- memory-reference instruction
- micro instruction
- microprogrammable instruction
- mnemonic instruction
- modified instruction
- monadic instruction
- monitor call instruction
- motion video instruction
- move instruction
- MQ register sign jump instruction
- MQ sign jump instruction
- multiaddress instruction
- multilplying instruction
- multiple-address instruction
- multiple instruction
- multiple-cycle instruction
- multiple-length instruction
- multiplier-quotient register sign jump instruction
- multiplier-quotient sign jump instruction
- multiply-accumulate instruction
- N-address instruction
- native instruction
- noaddress instruction
- nonmemory-reference instruction
- nonprint instruction
- nonprivileged instruction
- non-speculative instruction
- no-op instruction
- no-operation instruction
- normalized instruction
- normalize instruction
- N-plus-one address instruction
- null instruction
- object instruction
- on-chip instruction
- one-address instruction
- one-and-a-half-address instruction
- one-over-one address instruction
- one-plus-one address instruction
- on-screen instruction
- operational-address instruction
- operation-address instruction
- optional halt instruction
- optional pause instruction
- optional stop instruction
- organizational instruction
- overflow jump instruction
- overriding instruction
- pause instruction
- picture-description instruction
- preempted instruction
- presumptive instruction
- prewired instruction
- privileged instruction
- producer instruction
- programmed instruction
- propagation instruction
- pseudo instruction
- quadruple address instruction
- quasi instruction
- reading instruction
- read instruction
- red-tape instruction
- reference instruction
- register-to-register instruction
- relative instruction
- repeat instruction
- repetition instruction
- restart instruction
- return instruction
- right shift instruction
- rotate instruction
- roundoff instruction
- scalar instruction
- search instruction
- seek instruction
- shift instruction
- shift-jump instruction
- short instruction
- single-address instruction
- single-cycle instruction
- single-operand instruction
- skeleton instruction
- skip instruction
- source-designation instruction
- source-destination instruction
- stack instruction
- steering instruction
- stop instruction
- string instruction
- summarize instruction
- supervisor call instruction
- symbolic instruction
- table look-up instruction
- tape instruction
- text-entry instruction
- three-address instruction
- three-plus-one-address instruction
- transfer instruction
- transfer of control instruction
- trap instruction
- try instruction
- two-address instruction
- two-plus-one-address instruction
- unconditional branch instruction
- unconditional control transfer instruction
- unconditional jump instruction
- unconditional transfer instruction
- unmodified instruction
- unretired instruction
- variable instruction
- variable length instruction
- variable-cycle instruction
- vector-processing instruction
- vector instruction
- verbal instruction
- waste instruction
- write instruction
- zero-address instruction
- zeroing instruction
- zero-suppress instructionEnglish-Russian dictionary of computer science and programming > instruction
-
13 algebra
algebra with minimality condition — алгебра с условием минимальности, алгебра с условием обрыва убывающих цепей
algebra with maximality condition — алгебра с условием максимальности, алгебра с условием обрыва возрастающих цепей
-
14 calculus
-
15 operation
[ˌɔpəˈreɪʃən]arithmetic operation вчт. арифметическая операция arithmetic operation вчт. арифметическое действие arithmetic operations вчт. арифметические действия array operation вчт. матричная операция associative operation вчт. ассоциативная операция asynchronous operation вчт. асинхронная работа asynchronous operation вчт. асинхронное выполнение операций atomic operation вчт. атомарная операция authorized operation вчт. санкционированная операция battery operation работа с батарейным питанием bear operation бирж. игра на понижение binary operation вчт. бинарная операция bitwise operation вчт. поразрядная операция black-ink operation грязная сделка block operation вчт. действие с блоками bookkeeping operation вчт. служебная операция boolean operation вчт. логическая операция borrowing operation операция по заимствованию brokerage operation брокерская операция bull operation бирж. сделка на повышение биржевых курсов bull operation бирж. спекуляция на повышение to call into operation привести в действие; in operation в действии; in full operation на полном ходу capital operation сделка с капиталом charges relating to the issue operation затраты, связанные с выпуском ценных бумаг clerical operation конторская операция collective operation совместная операция operation действие, операция; работа; приведение в действие; to come into operation начать действовать come into operation вступать в силу come into operation вступать в строй come into operation начинать действовать coming into operation вступление в силу coming into operation вступление в строй coming into operation приведение в действие connection-oriented operation вчт. связь с логическим соединением connectionless operation вчт. связь без логического соединения continued operation непрерывная работа continuous operation непрерывная эксплуатация continuous operation работа в непрерывном режиме covering operation бирж. операция покрытия cross-frontier operation внешнеторговая сделка debit-credit operation операция учета прихода и расхода discontinue an operation прекращать работу down operation вчт. занятие dyadic operation вчт. бинарная операция enter into operation вступать в действие enter into operation вступать в силу factory operation оперативное управление производством fade operation вчт. операция постепенного стирания fail-safe operation вчт. безопасный режим going into operation ввод в действие going into operation ввод в эксплуатацию graft operation вчт. операция подсоединения ветви group operation вчт. групповая операция housekeeping operation вспомогательная операция housekeeping operation вчт. организующая операция housekeeping operation вчт. служебная операция housekeeping operation управляющая операция illegal operation вчт. запрещенная операция image operation вчт. операция обработки изображения immediate operation вчт. операция с немедленным ответом to call into operation привести в действие; in operation в действии; in full operation на полном ходу to call into operation привести в действие; in operation в действии; in full operation на полном ходу inference operation вчт. операция логического вывода initial operation ввод в действие input operation вчт. операция ввода input-output operations вчт. операции ввода-вывода joint operation совместная работа joint operation agreement договор о совместной деятельности kernel operation вчт. операция ядра keystroke operation вчт. операция инициируемая нажатием клавиши large-scale operation крупномасштабная операция linear operation вчт. линейная операция linear operations вчт. линейные операции logic operation вчт. логическая операция loss during operation потери при эксплуатации manual operation ручная операция manual operation ручная работа maximization operation операция максимизации maximization operation операция определения максимума maximum operation операция максимизации military operation военная операция minimization operation операция минимизации mismatch operation вчт. операция обнаружения рассогласования monadic operation вчт. унарная операция multiple operations вчт. совмещенные операции multitask operation вчт. многозадачный режим neighborhood operation операция определения соседства no operation вчт. холостая операция nonarithmetical operation вчт. неарифметическая операция nondata operation вчт. операция не связанная с обработкой данных normal operation нормальная эксплуатация off-line operation вчт. автономная работа on-line operation вчт. работа в реальном времени one-shot operation вчт. пошаговая работа one-step operation вчт. пошаговая работа operation ведение хозяйственной деятельности operation мат. действие operation действие, операция; работа; приведение в действие; to come into operation начать действовать operation действие operation вчт. операция operation операция (хирургическая) operation проведение опыта, эксперимента operation процесс operation работа operation разработка, эксплуатация operation технологическая операция operation торговая операция operation торговля operation управление (предприятием и т. п.) operation управление машиной operation управление производством operation установка operation учетно-счетная операция operation финансовая операция operation функционирование operation цикл обработки operation эксплуатация operation юридическая сила operation юридические последствия operation юридическое действие operation attr. эксплуатационный; operation costs расходы по эксплуатации operation attr. эксплуатационный; operation costs расходы по эксплуатации operation of company деятельность компании operation of railway работа железной дороги OR operation вчт. операция ИЛИ output operation вчт. операция вывода overhead operation вчт. служебная операция parallel operation параллельная сделка paste operation вчт. операция вставки pipeline operation вчт. работа в конвейерном режиме pixel-level operation вчт. операция обработки элементов изображения primary operation первичная обработка primary operation первичная операция primitive operation вчт. базовая операция prune operation вчт. операция отсечения queue operation вчт. работа с очередями queueing operation вчт. образование очереди queueing operation работа системы массового обслуживания real-time operation вчт. вычисление в реальном времени real-time operation вчт. работа в реальном масштабе времени red ink operation убыточная операция red ink operation убыточная сделка red-tape operation вчт. служебная операция refinement operation вчт. уточнение данных refunding operation операция рефинансирования refunding operation рефинансирование retrieval operation вчт. информационно-поисковая операция risk capital operation операция с рисковым капиталом round-the-clock operation круглосуточная работа round-the-clock operation непрерывное производство sales-floor operation работа торгового зала магазина scheduled operation вчт. регламентная работа secondary operation добыча нефти вторичными методами semiduplex operation вчт. полудуплексный режим работы service operation вчт. операция обслуживания simultaneous operation параллельная работа single-mode operation вчт. одномодовый режим single-program operation вчт. однопрограммная работа single-store operation торговые операции фирмы в одном магазине single-task operation вчт. работа с одной заадчей small-signal operation вчт. режим малых сигналов smoothing operation вчт. операция сглаживания start-stop operation вчт. стартстопный режим syndicate operation синдицированная операция takedown operation вчт. операция подготовки к следующей работе team operation вчт. групповая разработка time consuming operation вчт. длинная операция two-shift operation двухсменная работа unary operation вчт. унарная операция unattended operation работа без надзора unauthorized operation несанкционированное действие under-control operation подконтрольная эксплуатация union operation вчт. операция ИЛИ unit operation вчт. единичное преобразование unloading operation вчт. операция вывода unloading operation вчт. операция разгрузки unnecessary operation вчт. неправильное действие реле up operation вчт. операция освобождения venture operation финансовая операция, связанная с риском write operation вчт. операция записи
См. также в других словарях:
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
Monadic Boolean algebra — In abstract algebra, a monadic Boolean algebra is an algebraic structure with signature 〈A, ·, +, , 0, 1, ∃〉 of type 〈2,2,1,0,0,1〉, where 〈A, ·, +, , 0, 1〉 is a Boolean algebra. The prefixed unary operator ∃ denotes the existential quantifier,… … Wikipedia
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
monadic predicate logic — noun The fragment of predicate logic in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters … Wiktionary
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Decidability (logic) — In logic, the term decidable refers to the decision problem, the question of the existence of an effective method for determining membership in a set of formulas. Logical systems such as propositional logic are decidable if membership in their… … Wikipedia
